#include <dy1/contrib-header.h>

void
testPrint2()
{
    testPrint();
}
